Rule-Base Coverage Analysis Applied to Test Case Selection

*FINDINGS fcws foth ngas mgas lgas dim cflt lcab ncrn scrn ocrn grnd temp egas *CLASSES wait open gas rflt clen gbat nstr cws *RULES if lgas then flod(0.80) if between(temp, 0, 50) AND nofm(1, scrn , ocrn) then chok(0.60) if egas then empt(0.90) if cflt then filt(1.00) if lcab then cab(0.90) if scrn AND dim then batd(0.70) if ncrn AND dim then batd(0.90) if ncrn AND not dim then strt(0.70) if grnd then strt(0.90) if not fcws then cws(-1) if fcws AND between(flod, 0.20, 1) then wait(0.90) if fcws AND between(chok, 0.20, 1) then open(0.50) if fcws AND between(empt, 0.30, 1) then gas(0.90) if fcws AND between(filt, 0.40, 1) then rflt(0.80) if fcws AND between(cab, 0.50, 1) then clen(0.70) if fcws AND between(batd, 0.40, 1) then gbat(0.80) if fcws AND between(strt, 0.40, 1) then nstr(0.90)